منابع مشابه
On Redundant Topological Constraints
The Region Connection Calculus (RCC) [41] is a well-known calculus for representing part-whole and topological relations. It plays an important role in qualitative spatial reasoning, geographical information science, and ontology. The computational complexity of reasoning with RCC5 and RCC8 (two fragments of RCC) as well as other qualitative spatial/temporal calculi has been investigated in dep...
متن کاملOn Redundant Topological Constraints (Extended Abstract)
Redundancy checking is an important task in AI subfields such as knowledge representation and constraint solving. This paper considers redundant topological constraints, defined in the region connection calculus RCC8. We say a constraint in a set Γ of RCC8 constraints is redundant if it is entailed by the rest of Γ. A prime subnetwork of Γ is a subset of Γ which contains no redundant constraint...
متن کاملUsing Redundant Constraints for Refinement
This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid systems and more generally embedded systems with mixed continuous-discrete dynamics. In general, the reachable sets of such systems (except for some linear systems with special eigenstructures) are hard to compute exactly and ...
متن کاملTopological constraints on magnetic field relaxation
Magnetic field relaxation is determined by both the field’s geometry and its topology. For relaxation processes, however, it turns out that its topology is a much more stringent constraint. As quantifier for the topology we use magnetic helicity and test whether it is a stronger condition than the linking of field lines. Further, we search for evidence of other topological invariants, which giv...
متن کاملTopological constraints on network control profiles
Network models are designed to capture properties of empirical networks and thereby provide insight into the processes that underlie the formation of complex systems. As new information concerning network structure becomes available, it becomes possible to design models that more fully capture the properties of empirical networks. A recent advance in our understanding of network structure is th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2015
ISSN: 0004-3702
DOI: 10.1016/j.artint.2015.03.010